SpecC: Specification Language and Methodology
by Daniel D. Gajski,Jianwen Zhu, Rainer Dömer, Andreas Gerstlauer,Shuqing Zhao
ISBN 13: 9780792378228
Format: Illustrated (330 pages) Publisher: Springer Published: 31 Mar 2000
Save for later